A Cal ulus for Ressour e Control of Components

Abstra t This paper des ribes a al ulus for the resour e ontrol of Petri net omponents. In order to al ulate the new input/output behavior of a omponent resulting from a omposition we have developed a formalism for a very restri ted set of omponents. We rst introdu e the lass of ir ular omponents and de ne their omposition in our formalism. Afterwards we give a al ulus with simpli ation rules for these omponents and show that ea h omponent has a unique normal form.